Identification of the Program Text and Algorithm Correspondence Based on the Control Graph Constructive-Synthesizing Model

Purpose.The main article purpose is to develop and implement the method for identifying correspondence between text program algorithm represented in form of a flowchart. As part work conversion input data graph representation performed by means constructive-synthesizing modelling. Methodology. To compare flowchart, we constructed mathematical model converting code into graphical on basis control structures. build model, apparatus modeling its methods were used: specialization, concretization, interpretation implementation. The created taking account operators; flowcharts are using json file containing description diagram elements their links. graphs use breadth-first search with number identical vertices being counted. obtain software implementation developed models used technology object-oriented programming CASE-technologies, which based unified language UML. Findings A proposed present flowchart uniform format directed (control graph) evaluate vertices. For formalization automated usage, transformers. application was method. Originality. tasks processing texts written artificial languages further developed. We system constructors, transforms C++ graph. Practical value. results significant solving such as assembling borrowings detection, determining algorithms implementations improve coding skills. produced constructors can be investigation influence optimization refactoring complexity McCabe's metrics.